Fondly recalling this gem, which is one of the things that set me on the path to integer overflow detection, some time ago

[regehr@mastodon.social]

Fondly recalling this gem, which is one of the things that set me on the path to integer overflow detection, some time ago

https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/

[algocompsynth@mastodon.social]

@regehr One of the disgraces of programming language implementations is that integer overflow is permitted. Every architecture I know of detects it, and many allow a trap on it so you don't have to check every operation at run-time.

[atax1a@infosec.exchange]

@AlgoCompSynth @regehr

https://media.infosec.exchange/infosec.exchange/media_attachments/files/113/700/348/304/689/663/original/a2305341f5f4187a.png